Charge controller for solar panel based charging of lead-acid batteries

Tato diplomová práce se zabývá návrhem a realizací regulátoru pro použití v solárním systému s větším počtem olověných akumulátorů. Takový regulátor umožňuje nezávislé připojení a řízení nabíjení většího počtu akumulátorů různého stáří a parametrů. To je v kontrastu s řešeními obsahujícími jedno připojení pro více baterií připojených paralelně, kde se míchání baterií různého druhu a stáří nedoporučuje. Tento regulátor nabízí vysokou škálovatelnost skladování energie v solárním systému. Umožňuje také používat starší baterie s novými, místo nutnosti staré baterie nahradit, když jejich kapacita klesne pod požadovanou úroveň. V této práci jsou podrobně popsány požadavky, návrh hardwaru a softwaru a implementace regulátoru s nominálním výstupním proudem 20A pro pět 12V olověných baterií. Práce popisuje také další funkce, stejně jako alternativní návrhy a algoritmy. Důležitá část práce se zabývá designem spínačů pro velké proudy, ochrany proti zkratu a obvodů pro měření stejnosměrného proudu. Správná funkčnost regulátoru byla ověřena měřením.This thesis deals with the design and implementation of a charge controller for multiple lead-acid batteries to be used in a solar system. Such controller enables an independent connection and charge control for each of more batteries with possibly different age and parameters. It is in contrast with solutions with one connection for multiple batteries connected in parallel, where mixing different battery types or ages is not recommended. This controller offers very high scalability of energy storage in solar system. It is also possible to use older batteries together with new ones instead of having to replace the old batteries when their capacity falls below required level. The requirements, hardware and software design along with the implementation of such controller with 20A nominal output current for five 12V lead-acid batteries are discussed in detail in this thesis. Additional features, alternative designs and algorithms are discussed as well. An important part of the work concentrates on high current switch design, short circuit protection as well as circuit for DC current measurement. Correct functionality of the implemented controller has been verified by measurements.

Evaluation of the Business Financial Situation of COOP Jednota Galanta in MS Excel and Proposals to its Improvement

Bakalárska práca je zameraná na získanie prehľadu o finančnej situácii podniku pomocou vybraných metód a ukazovateľov, v prostredí MS Excel. Na základe výsledkov sú definované nedostatky a hrozby pre finančné zdravie podniku a vyhodnotená realizácia finančnej analýzy prostredníctvom MS Excel. Na záver sú navrhnuté opatrenia na zlepšenie finančnej situácie podniku.Bachelor thesis is focused to illustrate financial situation of the company, using selected methods and indicators at MS Excel environment. Finally, based on the results of analysis created by these ones, the insufficiency and threats to the company financial health as far as the evaluation of assessment of this type of financial analysis at Excel environment are defined there. In conclusion, the special arrangements to improve the company financial situation are designed.

Evaluation of Company Efficiency

Diplomová práca sa zaoberá hodnotením výkonnosti podniku prostredníctvom metódy ekonomickej pridanej hodnoty. Pomocou ukazovateľa EVA a čiastkových ukazovateľov získaných jeho dekompozíciou je vykonaná analýza výkonnosti podniku, ktorej výsledky sú následne interpretované. Na ich základe sú navrhnuté opatrenia s cieľom zlepšiť súčasnú situáciu podniku.The thesis deals with evaluation of company efficiency by economic value added method. An analysis of company efficiency is carried out through the use of EVA and partial indicators, that were obtained via its decomposition. Consequently, the results of this analysis are interpreted. Based on these results, special arrangements to improve the current situation of the company are suggested.

Analysis of transient action influence in power transformer

This article is focused on the theory of unacceptable effect on transformer winding, mainly the overvoltages and the mechanical forces. In the next part of the article is described the measurement of selfdischarging voltage frequency dependence on transformer. The second measurement shows one of the possible type of SFRA method. The measurement results lead us only to the conclusion that some changes of the winding condition have occurred

Cryptography on an embedded platform

Tato bakalářská práce se zabývá úpravou části veřejně dostupné kryptografické knihovny LibTomCrypt takovým způsobem, aby byla použitelná na embedded platformě Rabbit 3000. Na tuto platformu byly úspěšně přenesené hašovací funkce MD5, SHA-1 a RIPEMD-128, šifra Blowfish a operační mód šifer CBC. U uvedených algoritmů se za pomocí měření doby výpočtu analyzuje jejich výpočetní náročnost, hlavně v závislosti na délce vstupních dat. U jmenovaných šifer byla zjištena nelineární závislost doby výpočtu na délce vstupních dat, jejichž grafem je schodovitá funkce. Závislost na hodnotě vstupních dat se nepotvrdila. Měřením u šifry Blowfish použité v operačním módu CBC bylo zjištěno, že inicializace šifry je časově náročná (na použitém hardware trvala téměř jednu sekundu) a že je nezávislá na délce klíče a délce vstupních dat. Samotné šifrování a dešifrování vykazuje lineární závislost na délce vstupu. V rámci práce byla taktéž ověřena funkčnost SSL/TLS knihovny od výrobce procesoru Rabbit vytvořením HTTPS serveru a ověřením zabezpečeného spojení s prohlížečem. Knihovna fungovala podle návodu bez závažných nedostatků.This bachelor thesis deals with adjusting parts of the public domain cryptographic library LibTomCrypt so that it can be used on an embedded platform Rabbit 3000. The hash functions MD5, SHA-1 and RIPEMD-128, the Blowfish cipher and CBC block cipher mode have been successfully ported to this platform. These algorithms have been analysed by measuring of the exectution time for the computational power requirements, especially with regard to the length of the input data. The abovementioned hash functions showed non-linear relationship between the execution time and the length of input, the graph of which is like that of a step function. The non-existence of the relationship to the data values was confirmed. The measurements with Blowfish cipher in CBC block cipher mode showed that inicialization of cipher is time consuming (it lasted almost one second on the hardware used) and that it does not depend on the keysize or length of input. The encryption and decryption itself showed a linear relationship to input data length. In the scope of this thesis there was also verification of correct function of SSL/TLS library from the producer of Rabbit microprocessor by creating a HTTPS server and verifying that secure connection with the web browser has been established. The library worked correctly according to manual without any significant problems.

Corporate Information Strategy

Diplomová práca sa zaoberá návrhom informačnej stratégie pre spoločnosť pôsobiacu v oblasti služieb. Podnik je analyzovaný prostredníctvom rôznych metód s dôrazom na súčasný stav IS/IT a potreby podniku v tejto oblasti. Na základe vykonanej analýzy je následne navrhnutá komplexná informačná stratégia pre zaistenie každodennej činnosti podniku, jeho konkurencieschopnosti a priestoru pre jeho ďalší rast.The thesis deals with the information strategy scheme for the company operating within the tertiary industry. The enterprise is analyzed via various methods, with emphasis on the current state of IS/IT and on business needs in this area. A comprehensive information strategy is designed on the basis of the analysis to ensure the day to day business operation, competitiveness and the scope for its further growth.

Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC

We present a practically appealing extension of the probabilistic model checker PRISM rendering it to handle fixed-delay continuous-time Markov chains (fdCTMCs) with rewards, the equivalent formalism to the deterministic and stochastic Petri nets (DSPNs). fdCTMCs allow transitions with fixed-delays (or timeouts) on top of the traditional transitions with exponential rates. Our extension supports an evaluation of expected reward until reaching a given set of target states. The main contribution is that, considering the fixed-delays as parameters, we implemented a synthesis algorithm that computes the epsilon-optimal values of the fixed-delays minimizing the expected reward. We provide a performance evaluation of the synthesis on practical examples